An alignment-free fingerprint bio-cryptosystem based on modified Voronoi neighbor structures

Bio-cryptography is an emerging security technology which combines cryptography with biometrics. A good bio-cryptosystem is required to protect the privacy of the relevant biometric data as well as achieving high recognition accuracy. Fingerprints have been widely used in bio-cryptosystem design. However, fingerprint uncertainty caused by distortion and rotation during the image capturing process makes it difficult to achieve a high recognition rate in most bio-cryptographic systems. Moreover, most existing bio-cryptosystems rely on the accurate detection of singular points for fingerprint image pre-alignment, which is very hard to achieve, and the image rotation transformation during the alignment process can cause significant singular point deviation and minutiae changes. In this paper, by taking full advantage of local Voronoi neighbor structures (VNSs), e.g. local structural stability and distortion insensitivity, we propose an alignment-free bio-cryptosystem based on fixed-length bit-string representations extracted from modified VNSs, which are rotation- and translation-invariant and distortion robust. The proposed alignment-free bio-cryptosystem is able to provide strong security while achieving good recognition performance. Experimental results in comparison with most existing alignment-free bio-cryptosystems using the publicly-available databases show the validity of the proposed scheme.     

助乳化剂对化妆品乳液稳定性和液晶性的影响

以硬脂酸蔗糖酯和失水山梨醇硬脂酸酯的复配物（SSE）为主乳化剂，十六／十八醇及甘油为助乳化剂制备含液晶乳液化妆品。通过观察乳液的温度稳定性和液晶性，用三元相图研究助乳化剂含量对此乳液体系液区的影响。实验条件下，用该乳化剂体系可获得较好的液晶化妆品乳液，总之，较高的助乳化剂量有利于乳液的温度稳定性和液晶性，但助乳化剂量较低时经合理配方也能获得稳定的液晶乳液，其中含3％高碳醇和5％甘油的乳液稳定性及液晶性均较好，5％高碳醇和3％甘油的助乳化剂体系不宜采用。     

开关柜智能监控装置的设计与实现

文中的开关柜智能监控装置是针对电力开关柜开发设计的一种新型的多功能智能化模拟动态指示装置。该方案以ARM处理器NUC950为控制核心,它集一次回路模拟图、断路器状态、手车位置、接地刀闸位置、弹簧储能状态、隔离开关状态、高压带电显示及闭锁、自动(手动)加热除湿控制、加热器故障报警、超温报警指示、语音防误提示、网络通信等多功能于一体,提高了开关柜状态监测和控制的集成度和智能化。     

基于Voronoi图的连续反向最近邻查询

为解决动态环境中移动点的连续反向最近邻查询问题,将连续反向最近邻查询分为单色和双色2种情况进行研究。利用移动点Voronoi图,分别给出单色连续反向最近邻查询算法、双色连续反向最近邻查询算法以及相关定理,对算法正确性和可终止性进行证明,分析算法时间复杂性。按照移动点Voronoi图的拓扑结构是否改变分为2种情况,分析每种情况下候选所在区域的变化,在变化区域内进行Voronoi图的重构,得到对应的解决方法。在多数情况下,该算法只需生成局部移动点的Voronoi图即可找到结果,减小了连续反向最近邻查询的代价。     

基于实时UML顺序图的物联网交互模型

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。     

基于问题框架的计算机辅助需求工程工具的研发

问题框架(Problem Frames,PF)已经得到需求工程界的广泛重视和研究。目前,问题框架在理论基础和开发方法等方面已经有很多研究成果,但如何把它们应用到实际的软件开发项目中仍是一个有待解决的问题。本工具可帮助系统分析员实现从用户需求到软件规约的平滑和可推理的变换,从而为软件开发项目中需求的沟通、建模及分析等提供技术支持。此外,该工具产生的结果也为下一步的软件设计提供帮助。它对促进问题框架方法的进一步发展和成熟,如从研究走向实用,具有重要的推动作用。     

基于普通Petri网的梯形图中接通延时定时器的建模方法

针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。     

动态受限区域内的单纯型连续近邻链查询方法

受限区域内的单纯型连续近邻链查询在空间数据挖掘、数据的相似分析和推理、空间数据库等方面具有重要的作用。为了弥补已有方法的不足,详细研究了动态受限区域内的单纯型连续近邻链查询方法。基于计算几何中的Voronoi图给出了VOR_IN_CRSCNNC算法、VOR_EX_CRSCNNC算法和VOR_DE_CRSCNNC算法。进一步进行了实验比较和分析。理论研究和实验分析表明,所提出的算法在查询过程中减少了数据逐一筛选和判断的冗余计算,在处理空间数据量较大、初始受限区域数据量较多、受限区域形状较为复杂的单纯型连续近邻链查询方面具有较大的优势。     

可控式循环通断程序的算法

本文重点介绍了采用梯形图编写的一个程序算法,使用该算法,可以解决高炉上料时,由于炉料中粉末多而引起的高炉悬料情况的发生.     

高矣物的特性对双水相相图和头孢氨苄及7-ADCA分配行为的影响

A series of ethylene oxide(EO)-propylene oxide (PO) random co-polymers (EOPO) were used to form aqueous two-phase systems (ATPS) with ammonium sulfate.Effects of EOPO′s properties on the phase separation behaviors and on the partition of cephalexin and 7-aminodesacetoxicephalosporanic acid(7-ADCA) in ATPS were investigated.Both the molar mass and molar ratio of EO to PO of EOPO could greatly influence partition behaviors of cephalexin and 7-ADCA as well as the binodal curve of ATPS. With the increase of molar mass of co-polymer or the decrease of molar ratio of EO to PO,the critical point of ATPS decreased,the binodal curve became more asymmetry,and both cephalexin and 7-ADCA followed the same tendency to partition into the polymer-poor bottom phase.The experimental results shows that it is feasible to partition cephalexin and 7-ADCA in either the polymer-rich top phase or the polymer-poor bottom phase by choosing a specific phase-forming EOPO.